Inhalt des Dokuments
zur Navigation
Publikationen
Zitatschlüssel | DBLP:journals/entcs/NestmannP02 |
---|---|
Autor | Uwe Nestmann and Prakash Panangaden |
Jahr | 2002 |
Journal | Electr. Notes Theor. Comput. Sci. |
Jahrgang | 68 |
Nummer | 2 |
Zitatschlüssel | DBLP:journals/entcs/NestmannP02 |
---|---|
Autor | Uwe Nestmann and Prakash Panangaden |
Jahr | 2002 |
Journal | Electr. Notes Theor. Comput. Sci. |
Jahrgang | 68 |
Nummer | 2 |